Necessarily Coextensive Predicates and Reduction
نویسندگان
چکیده
منابع مشابه
Classifying Predicates and Languages
The present paper studies a particular collection of classi cation problems, i.e., the classi cation of recursive predicates and languages, for arriving at a deeper understanding of what classi cation really is. In particular, the classi cation of predicates and languages is compared with the classi cation of arbitrary recursive functions and with their learnability. The investigation undertake...
متن کاملNormative Predicates and Vagueness
Almost every theory of vagueness shares at least one feature: it uses, and in most cases heavily relies on, some kind of normative predicate (or predicates) in its metalanguage. Metalinguistic normative predicates are discussed chiefly by supervaluationists and other defenders of higher-order vagueness. According to this group of theorists, the existence of higher-order vagueness depends on and...
متن کاملConvex Predicates and Induction
Gardenfors [3] proposed convexity as a non-logical criterion for predicates that are amenable to induction. Some well-known paradoxes appear to be resolvable using this criterion. In this paper we show that the convexity criterion subsumes classical mathematical induction if a transitivity assumption is made. This provides independent evidence for the viability of the criterion since classical ...
متن کاملSupervaluationism and necessarily borderline sentences
Pablo Cobreros University of Navarra Abstract The supervaluationist theory of vagueness is committed to a particular notion of logical consequence known as global validity. According to a recent objection, this notion of consequence is more problematic than is usually thought since i) it bears a commitment to some sort of bizarre inferences, ii) this commitment threatens the internal coherence ...
متن کاملModal Predicates
Despite the wide acceptance of standard modal logic, there has always been a temptation to think that ordinary modal discourse may be correctly analyzed and adequately represented in terms of predicates rather than in terms of operators. The aim of the formal model outlined in this paper is to capture what I take to be the only plausible sense in which ‘possible’ and ‘necessary’ can be treated ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal for the Study of Skepticism
سال: 2018
ISSN: 2210-5697,2210-5700
DOI: 10.1163/22105700-20181333